CAMLFLOW: a CAML to data-flow graph translator
نویسنده
چکیده
We present CAMLFLOW, a custom CAML to data-flow graph (DFG) compiler. CAMLFLOW was designed to provide a front-end to various implementation-level parallel programming CASE tools taking DFGs for algorithm specification. It allows large and complex DFGs to be described in a textual and concise manner, using the facilities of the CAML LIGHT functional language. Compared to other graph notation systems, the main originality of CAMLFLOW lies in its ability to define higher-order polymorphic graph patterns.
منابع مشابه
Flow Caml in a Nutshell
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks information flow within Flow Caml programs, then translates them to regular Objective Caml code that can be compiled by the ordinary compiler to produce secure programs. In this paper, we give a short overview of this system, from a practical viewpoint.
متن کاملThe Flow Caml System
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to allow to write “real” programs and to automatically check that they obey some confidentiality or integrity policy. In Flow Caml, standard ML types are annotated with security levels chosen in a user-definable lattice. Each annotation gives an approximation of the inf...
متن کاملFormal Verification of a C Compiler Front-End
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source and target languages as well as the translation between them have been written in the specification language of the Coq proof assistant. The proof of observational semantic equivalence between the source and generated c...
متن کاملA Programming Language for Probabilistic Computation
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages to facilitate their modeling. Most of the existing probabilistic languages, however, focus only on discrete distributions, and there has been little effort to develop probabilistic languages whose expressive power is beyond discrete distributions. This dissertatio...
متن کاملAbstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh , Hyunha Kim, and David A. Schmidt ⋆⋆ 1 Hanyang University, Ansan, South Korea 2 Kansas State University, Manhattan, Kansas, USA Abstract. We combine LR(k)-parsing technology and data-flow analysis to analyze, in advance of execution, the documents generated dynamically by a program. Based ...
متن کامل